Exponentiable Approach Spaces
نویسندگان
چکیده
In this note we present a characterisation of exponentiable approach spaces in terms of ultrafilter convergence.
منابع مشابه
On exponentiable soft topological spaces
An object $X$ of a category $mathbf{C}$ with finite limits is called exponentiable if the functor $-times X:mathbf{C}rightarrow mathbf{C}$ has a right adjoint. There are many characterizations of the exponentiable spaces in the category $mathbf{Top}$ of topological spaces. Here, we study the exponentiable objects in the category $mathbf{STop}$ of soft topological spaces which is a generalizati...
متن کاملTopologies on spaces of continuous functions ∗
It is well-known that a Hausdorff space is exponentiable if and only if it is locally compact, and that in this case the exponential topology is the compact-open topology. It is less well-known that among arbitrary topological spaces, the exponentiable spaces are precisely the core-compact spaces. The available approaches to the general characterization are based on either category theory or co...
متن کاملExponentiable morphisms of domains
Given a map f in the category ω-Cpo of ω-complete posets, exponentiability of f in ω-Cpo easily implies exponentiability of f in the category Pos of posets, while the converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in ω-Cpo, showing the existence of partial products of the two-point ordered set S = {0 < 1} (Theorem 1.8). Using this ch...
متن کاملExponentiable Streams and Prestreams
Inspired by a construction of Escardó, Lawson, and Simpson, we give a general construction of C-generated objects in a topological construct. When C consists of exponentiable objects, the resulting category is Cartesian-closed. This generalizes the familiar construction of compactly-generated spaces, and we apply this to Krishnan’s categories of streams and prestreams, as well as to Haucourt st...
متن کاملExponentiability in Homotopy Slices of Top and Pseudo-slices of Cat
We prove a general theorem relating pseudo-exponentiable objects of a bicategory K to those of the Kleisli bicategory of a pseudo-monad on K. This theorem is applied to obtain pseudo-exponentiable objects of the homotopy slices Top//B of the category of topological spaces and the pseudo-slices Cat//B of the category of small categories.
متن کامل